Fast Operating System

نویسندگان

  • Russell Thomas Hunt
  • Frans Kaashoek
  • Gregory R. Ganger
چکیده

Operating system (OS) emulation consists of running a binary executable intended for a particular OS on a different OS. This ability allows users to run more programs and OS manufacturers to jumpstart new OSs with non-native programs. There are several OSs that can run binaries compiled for the same processor but for different operating systems. There are also systems that can run multiple OS servers at the same time (e.g. Mach/microkernel architectures). Unfortunately, on these systems, one must either place the emulation code directly in the OS to gain speed or place the code in user space for flexibility and lose direct, and thus quick, access to OS internals. This thesis describes how one can take advantage of the exokernel architecture to make OS emulation both flexible, in the sense that it runs in user-space, and quick, in the sense that it can run fast. This combination has not been achieved on monolithic or microkernel architectures. To demonstrate the approach, this thesis describes a prototype emulator (XPOSE) that runs on an Intel-based exokernel (XOK) with a UNIX-like library OS (ExOS) and can run many programs compiled and linked for the monolithic OpenBSD UNIX OS. All emulation code is in user space and, because the emulator is linked to the library OS, it can access OS internals. Measurements show that XPOSE runs OpenBSD programs with very little overhead. Finally, the mechanisms XPOSE uses to intercept system calls makes it useful for debugging and perfomance analysis. Statistics gathered with XPOSE indicate where effort should be focused to reduce the number of kernel calls per library OS call. Sapuntzakis for helping me understand WINE. Also, I would like to thank DARPA for helping to fund this project. I dedicate this thesis to my parental units.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Voltage Regulation of DC-DC Series Resonant Converter Operating in Discontinuous Conduction Mode: The Hybrid Control Approach

Dynamic modeling and control of dc-dc series resonant converter (SRC) especially when operating in discontinuous conduction mode (DCM) is still a challenge in power electronics. Due to semiconductors switching, SRC is naturally represented as a switched linear system, a class of hybrid systems. Nevertheless, the hybrid nature of the SRC is commonly neglected and it is modeled as a purely contin...

متن کامل

Evaluating the potential of cascading failure occurrence due to line outage in power systems by information theory method and radial base functions

In power systems, a connected topology is created to increase reliability and economic performance. Increasing dimensions of power systems on the one hand and the need to continuously monitor power systems for secure operation on the other challenge the evaluation of power system security. In such conditions, due to economic conditions and considering the fast growth of consumers in a power sys...

متن کامل

Design and simulation of a fast SAW waveguide with Comsol software

In this paper, the structure of SAW has been studied. In previous work in SAW, materials such as lithium niobium, lithium tantalite and gallium nitride were used in the structure of SAW, and thus had a low operating frequency and the highest reported operating frequency was about 4 GHz. In this paper, aluminum nitride and gallium nitride in the SAW structure are used in combination. The electro...

متن کامل

Eagle Strategy Based Maximum Power Point Tracker for Fuel Cell System

A bunch of factors including the limited fossil resources and rising of fossil fuel price have been causes moving to create the new structure that is based on providing energy security, and protect the environment. One of the alternatives is the fuel cell (FC). Maximum power point tracker has an important role to increase the efficiency of the FC systems. One of the difficulties in maximum powe...

متن کامل

Hybrid Fuzzy-PID Application in Boilers to Obtain Optimum Efficiency

Many real time processes have complex, uncertain and nonlinear dynamics. Boilers are nonlinear, time varying, multi-input multi-output (MIMO) systems, whose states generally vary with operating conditions. The major problem in controlling that system is that its drum water pressure and steam flow dynamics include an integrator that results a critically stable behavior. Conventional controller p...

متن کامل

Operating System Core as Template for Embedded System Software Development

Software development for embedded systems is a fast growing industry. Development for a mid-range complexity embedded system is usually based on custom built templates and tools, or on commercially developed solutions with an operating system as a base. This paper presents possibilities for building customized templates that are operating system primitives. Since many embedded systems require o...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2008